If src/_gdbinit doesn't exist, try using src/.gdbinit to create it (for

building on Windows 95).

diff --git a/config.bat b/config.bat
index 7216c5ba01791fb48d630e0096b3b8501100f407..08b3d0030beb0e7db360f40008b732c223b2e43c 100644 (file)
--- a/config.bat
+++ b/config.bat
@@ -197,6 +197,7 @@ rem   ----------------------------------------------------------------------
 Echo Configuring the main directory...\r
 If "%DJGPP_VER%" == "1" goto mainv1\r
 Echo Looking for the GDB init file...\r
+If not Exist src\_gdbinit If Exist src\.gdbinit update src/.gdbinit src/_gdbinit\r
 If Exist src\_gdbinit goto gdbinitOk\r
 Echo ERROR:\r
 Echo I cannot find the GDB init file.  It was called ".gdbinit" in\r